搜索包含 Symposium on Generalized Recursion Theory 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

	Developments in Language Theory [electronic resource] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings 0 索取号：作者：Diekert、 Volker.、Nowotka、 Dirk.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Intelligent Computer Mathematics [electronic resource] : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings 0 索取号：作者：Carette、 Jacques.、Dixon、 Lucas.、Coen、 Claudio Sacerdoti.、Watt、 Stephen M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Introduction to Modern Traffic Flow Theory and Control [electronic resource] : The Long Road to Three-Phase Traffic Theory 0 索取号：作者：Kerner、 Boris S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Single Molecule Spectroscopy in Chemistry, Physics and Biology [electronic resource] : Nobel Symposium 0 索取号：作者：Gr盲slund、 Astrid.、Rigler、 Rudolf.、Widengren、 Jerker.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Solid-State Physics [electronic resource] : Introduction to the Theory 0 索取号：作者：Patterson、 James.、Bailey、 Bernard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Human Interface and the Management of Information. Information and Interaction [electronic resource] : Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II 0 索取号：作者：Salvendy、 Gavriel.、Smith、 Michael J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Human Interface and the Management of Information. Designing Information Environments [electronic resource] : Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I 0 索取号：作者：Smith、 Michael J.、Salvendy、 Gavriel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Continuous-Time Markov Decision Processes [electronic resource] : Theory and Applications 0 索取号：作者：Guo、 Xianping.、Hern谩ndez-Lerma、 On茅simo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music [electronic resource] : 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers 0 索取号：作者：Ystad、 S酶lvi.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Renormalization Group Theory [electronic resource] : Impact on Experimental Magnetism 0 索取号：作者：K枚bler、 Ulrich.、Hoser、 Andreas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Combinatorial Pattern Matching [electronic resource] : 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings 0 索取号：作者：Kucherov、 Gregory.、Ukkonen、 Esko.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Applications and Theory of Petri Nets [electronic resource] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings 0 索取号：作者：Franceschinis、 Giuliana.、Wolf、 Karsten.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Component-Based Software Engineering [electronic resource] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings 0 索取号：作者：Lewis、 Grace A.、Poernomo、 Iman.、Hofmeister、 Christine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Theory and Practice of Model Transformations [electronic resource] : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings 0 索取号：作者：Paige、 Richard F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Software Architecture Knowledge Management [electronic resource] : Theory and Practice 0 索取号：作者：Ali Babar、 Muhammad.、Dings酶yr、 Torgeir.、Lago、 Patricia.、van Vliet、 Hans.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Dynamic Taxonomies and Faceted Search [electronic resource] : Theory, Practice, and Experience 0 索取号：作者：Sacco、 Giovanni Maria.、Tzitzikas、 Yannis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

	Developments in Language Theory [electronic resource] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings 0 索取号：作者：Diekert、 Volker.、Nowotka、 Dirk.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Intelligent Computer Mathematics [electronic resource] : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings 0 索取号：作者：Carette、 Jacques.、Dixon、 Lucas.、Coen、 Claudio Sacerdoti.、Watt、 Stephen M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Introduction to Modern Traffic Flow Theory and Control [electronic resource] : The Long Road to Three-Phase Traffic Theory 0 索取号：作者：Kerner、 Boris S.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Single Molecule Spectroscopy in Chemistry, Physics and Biology [electronic resource] : Nobel Symposium 0 索取号：作者：Gr盲slund、 Astrid.、Rigler、 Rudolf.、Widengren、 Jerker.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Solid-State Physics [electronic resource] : Introduction to the Theory 0 索取号：作者：Patterson、 James.、Bailey、 Bernard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Human Interface and the Management of Information. Information and Interaction [electronic resource] : Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II 0 索取号：作者：Salvendy、 Gavriel.、Smith、 Michael J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Human Interface and the Management of Information. Designing Information Environments [electronic resource] : Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I 0 索取号：作者：Smith、 Michael J.、Salvendy、 Gavriel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Continuous-Time Markov Decision Processes [electronic resource] : Theory and Applications 0 索取号：作者：Guo、 Xianping.、Hern谩ndez-Lerma、 On茅simo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music [electronic resource] : 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers 0 索取号：作者：Ystad、 S酶lvi.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Renormalization Group Theory [electronic resource] : Impact on Experimental Magnetism 0 索取号：作者：K枚bler、 Ulrich.、Hoser、 Andreas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Combinatorial Pattern Matching [electronic resource] : 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings 0 索取号：作者：Kucherov、 Gregory.、Ukkonen、 Esko.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Applications and Theory of Petri Nets [electronic resource] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings 0 索取号：作者：Franceschinis、 Giuliana.、Wolf、 Karsten.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Component-Based Software Engineering [electronic resource] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings 0 索取号：作者：Lewis、 Grace A.、Poernomo、 Iman.、Hofmeister、 Christine.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Theory and Practice of Model Transformations [electronic resource] : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings 0 索取号：作者：Paige、 Richard F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Software Architecture Knowledge Management [electronic resource] : Theory and Practice 0 索取号：作者：Ali Babar、 Muhammad.、Dings酶yr、 Torgeir.、Lago、 Patricia.、van Vliet、 Hans.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Dynamic Taxonomies and Faceted Search [electronic resource] : Theory, Practice, and Experience 0 索取号：作者：Sacco、 Giovanni Maria.、Tzitzikas、 Yannis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.